package lattice;


public interface Evaluable {
	/**
	 * Evaluate the predicate result of a given consistent global state (CGS) 
	 * @param CGS the given consistent global state
	 * @return true if the CGS satisfies the predicate
	 */
	public abstract boolean evaluate(ConsistentStates cs);
}
